<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html lang="en">

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <title>LCOV - lcov.info.p - core/contracts/protocol/libraries/logic/src/core/contracts/protocol/libraries/logic/LiquidationLogic.sol</title>
  <link rel="stylesheet" type="text/css" href="../../../../../../../../../../../gcov.css">
</head>

<body>

          <table width="100%" border=0 cellspacing=0 cellpadding=0>
            <tr><td class="title">LCOV - code coverage report</td></tr>
            <tr><td class="ruler"><img src="../../../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>

            <tr>
              <td width="100%">
                <table cellpadding=1 border=0 width="100%">
          <tr>
            <td width="10%" class="headerItem">Current view:</td>
            <td width="10%" class="headerValue"><a href="../../../../../../../../../../../index.html">top level</a> - <a href="index.html">core/contracts/protocol/libraries/logic/src/core/contracts/protocol/libraries/logic</a> - LiquidationLogic.sol<span style="font-size: 80%;"> (source / <a href="LiquidationLogic.sol.func-c.html">functions</a>)</span></td>
            <td width="5%"></td>
            <td width="5%"></td>
            <td width="5%" class="headerCovTableHead">Coverage</td>
            <td width="5%" class="headerCovTableHead" title="Covered + Uncovered code">Total</td>
            <td width="5%" class="headerCovTableHead" title="Exercised code only">Hit</td>
          </tr>
          <tr>
            <td class="headerItem">Test:</td>
            <td class="headerValue">lcov.info.p</td>
            <td></td>
            <td class="headerItem">Lines:</td>
            <td class="headerCovTableEntryHi">95.5&nbsp;%</td>
            <td class="headerCovTableEntry">88</td>
            <td class="headerCovTableEntry">84</td>
          </tr>
          <tr>
            <td class="headerItem">Test Date:</td>
            <td class="headerValue">2024-04-09 14:12:28</td>
            <td></td>
            <td class="headerItem">Functions:</td>
            <td class="headerCovTableEntryHi">100.0&nbsp;%</td>
            <td class="headerCovTableEntry">7</td>
            <td class="headerCovTableEntry">7</td>
          </tr>
          <tr>
            <td></td>
            <td></td>
            <td></td>
            <td class="headerItem">Branches:</td>
            <td class="headerCovTableEntryHi">-</td>
            <td class="headerCovTableEntry">0</td>
            <td class="headerCovTableEntry">0</td>
          </tr>
                  <tr><td><img src="../../../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
                </table>
              </td>
            </tr>

            <tr><td class="ruler"><img src="../../../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
          </table>

          <table cellpadding=0 cellspacing=0 border=0>
            <tr>
              <td><br></td>
            </tr>
            <tr>
              <td>
<pre class="sourceHeading">             Branch data     Line data    Source code</pre>
<pre class="source">
<span id="L1"><span class="lineNum">       1</span>                 :             : // SPDX-License-Identifier: BUSL-1.1</span>
<span id="L2"><span class="lineNum">       2</span>                 :             : pragma solidity ^0.8.10;</span>
<span id="L3"><span class="lineNum">       3</span>                 :             : </span>
<span id="L4"><span class="lineNum">       4</span>                 :             : import {IERC20} from '../../../dependencies/openzeppelin/contracts//IERC20.sol';</span>
<span id="L5"><span class="lineNum">       5</span>                 :             : import {GPv2SafeERC20} from '../../../dependencies/gnosis/contracts/GPv2SafeERC20.sol';</span>
<span id="L6"><span class="lineNum">       6</span>                 :             : import {PercentageMath} from '../../libraries/math/PercentageMath.sol';</span>
<span id="L7"><span class="lineNum">       7</span>                 :             : import {WadRayMath} from '../../libraries/math/WadRayMath.sol';</span>
<span id="L8"><span class="lineNum">       8</span>                 :             : import {Helpers} from '../../libraries/helpers/Helpers.sol';</span>
<span id="L9"><span class="lineNum">       9</span>                 :             : import {DataTypes} from '../../libraries/types/DataTypes.sol';</span>
<span id="L10"><span class="lineNum">      10</span>                 :             : import {ReserveLogic} from './ReserveLogic.sol';</span>
<span id="L11"><span class="lineNum">      11</span>                 :             : import {ValidationLogic} from './ValidationLogic.sol';</span>
<span id="L12"><span class="lineNum">      12</span>                 :             : import {GenericLogic} from './GenericLogic.sol';</span>
<span id="L13"><span class="lineNum">      13</span>                 :             : import {IsolationModeLogic} from './IsolationModeLogic.sol';</span>
<span id="L14"><span class="lineNum">      14</span>                 :             : import {EModeLogic} from './EModeLogic.sol';</span>
<span id="L15"><span class="lineNum">      15</span>                 :             : import {UserConfiguration} from '../../libraries/configuration/UserConfiguration.sol';</span>
<span id="L16"><span class="lineNum">      16</span>                 :             : import {ReserveConfiguration} from '../../libraries/configuration/ReserveConfiguration.sol';</span>
<span id="L17"><span class="lineNum">      17</span>                 :             : import {IAToken} from '../../../interfaces/IAToken.sol';</span>
<span id="L18"><span class="lineNum">      18</span>                 :             : import {IStableDebtToken} from '../../../interfaces/IStableDebtToken.sol';</span>
<span id="L19"><span class="lineNum">      19</span>                 :             : import {IVariableDebtToken} from '../../../interfaces/IVariableDebtToken.sol';</span>
<span id="L20"><span class="lineNum">      20</span>                 :             : import {IPriceOracleGetter} from '../../../interfaces/IPriceOracleGetter.sol';</span>
<span id="L21"><span class="lineNum">      21</span>                 :             : </span>
<span id="L22"><span class="lineNum">      22</span>                 :             : /**</span>
<span id="L23"><span class="lineNum">      23</span>                 :             :  * @title LiquidationLogic library</span>
<span id="L24"><span class="lineNum">      24</span>                 :             :  * @author Aave</span>
<span id="L25"><span class="lineNum">      25</span>                 :             :  * @notice Implements actions involving management of collateral in the protocol, the main one being the liquidations</span>
<span id="L26"><span class="lineNum">      26</span>                 :             :  */</span>
<span id="L27"><span class="lineNum">      27</span>                 :             : library LiquidationLogic {</span>
<span id="L28"><span class="lineNum">      28</span>                 :             :   using WadRayMath for uint256;</span>
<span id="L29"><span class="lineNum">      29</span>                 :             :   using PercentageMath for uint256;</span>
<span id="L30"><span class="lineNum">      30</span>                 :             :   using ReserveLogic for DataTypes.ReserveCache;</span>
<span id="L31"><span class="lineNum">      31</span>                 :             :   using ReserveLogic for DataTypes.ReserveData;</span>
<span id="L32"><span class="lineNum">      32</span>                 :             :   using UserConfiguration for DataTypes.UserConfigurationMap;</span>
<span id="L33"><span class="lineNum">      33</span>                 :             :   using ReserveConfiguration for DataTypes.ReserveConfigurationMap;</span>
<span id="L34"><span class="lineNum">      34</span>                 :             :   using GPv2SafeERC20 for IERC20;</span>
<span id="L35"><span class="lineNum">      35</span>                 :             : </span>
<span id="L36"><span class="lineNum">      36</span>                 :             :   // See `IPool` for descriptions</span>
<span id="L37"><span class="lineNum">      37</span>                 :             :   event ReserveUsedAsCollateralEnabled(address indexed reserve, address indexed user);</span>
<span id="L38"><span class="lineNum">      38</span>                 :             :   event ReserveUsedAsCollateralDisabled(address indexed reserve, address indexed user);</span>
<span id="L39"><span class="lineNum">      39</span>                 :             :   event LiquidationCall(</span>
<span id="L40"><span class="lineNum">      40</span>                 :             :     address indexed collateralAsset,</span>
<span id="L41"><span class="lineNum">      41</span>                 :             :     address indexed debtAsset,</span>
<span id="L42"><span class="lineNum">      42</span>                 :             :     address indexed user,</span>
<span id="L43"><span class="lineNum">      43</span>                 :             :     uint256 debtToCover,</span>
<span id="L44"><span class="lineNum">      44</span>                 :             :     uint256 liquidatedCollateralAmount,</span>
<span id="L45"><span class="lineNum">      45</span>                 :             :     address liquidator,</span>
<span id="L46"><span class="lineNum">      46</span>                 :             :     bool receiveAToken</span>
<span id="L47"><span class="lineNum">      47</span>                 :             :   );</span>
<span id="L48"><span class="lineNum">      48</span>                 :             : </span>
<span id="L49"><span class="lineNum">      49</span>                 :             :   /**</span>
<span id="L50"><span class="lineNum">      50</span>                 :             :    * @dev Default percentage of borrower's debt to be repaid in a liquidation.</span>
<span id="L51"><span class="lineNum">      51</span>                 :             :    * @dev Percentage applied when the users health factor is above `CLOSE_FACTOR_HF_THRESHOLD`</span>
<span id="L52"><span class="lineNum">      52</span>                 :             :    * Expressed in bps, a value of 0.5e4 results in 50.00%</span>
<span id="L53"><span class="lineNum">      53</span>                 :             :    */</span>
<span id="L54"><span class="lineNum">      54</span>                 :             :   uint256 internal constant DEFAULT_LIQUIDATION_CLOSE_FACTOR = 0.5e4;</span>
<span id="L55"><span class="lineNum">      55</span>                 :             : </span>
<span id="L56"><span class="lineNum">      56</span>                 :             :   /**</span>
<span id="L57"><span class="lineNum">      57</span>                 :             :    * @dev Maximum percentage of borrower's debt to be repaid in a liquidation</span>
<span id="L58"><span class="lineNum">      58</span>                 :             :    * @dev Percentage applied when the users health factor is below `CLOSE_FACTOR_HF_THRESHOLD`</span>
<span id="L59"><span class="lineNum">      59</span>                 :             :    * Expressed in bps, a value of 1e4 results in 100.00%</span>
<span id="L60"><span class="lineNum">      60</span>                 :             :    */</span>
<span id="L61"><span class="lineNum">      61</span>                 :             :   uint256 public constant MAX_LIQUIDATION_CLOSE_FACTOR = 1e4;</span>
<span id="L62"><span class="lineNum">      62</span>                 :             : </span>
<span id="L63"><span class="lineNum">      63</span>                 :             :   /**</span>
<span id="L64"><span class="lineNum">      64</span>                 :             :    * @dev This constant represents below which health factor value it is possible to liquidate</span>
<span id="L65"><span class="lineNum">      65</span>                 :             :    * an amount of debt corresponding to `MAX_LIQUIDATION_CLOSE_FACTOR`.</span>
<span id="L66"><span class="lineNum">      66</span>                 :             :    * A value of 0.95e18 results in 0.95</span>
<span id="L67"><span class="lineNum">      67</span>                 :             :    */</span>
<span id="L68"><span class="lineNum">      68</span>                 :             :   uint256 public constant CLOSE_FACTOR_HF_THRESHOLD = 0.95e18;</span>
<span id="L69"><span class="lineNum">      69</span>                 :             : </span>
<span id="L70"><span class="lineNum">      70</span>                 :             :   struct LiquidationCallLocalVars {</span>
<span id="L71"><span class="lineNum">      71</span>                 :             :     uint256 userCollateralBalance;</span>
<span id="L72"><span class="lineNum">      72</span>                 :             :     uint256 userVariableDebt;</span>
<span id="L73"><span class="lineNum">      73</span>                 :             :     uint256 userTotalDebt;</span>
<span id="L74"><span class="lineNum">      74</span>                 :             :     uint256 actualDebtToLiquidate;</span>
<span id="L75"><span class="lineNum">      75</span>                 :             :     uint256 actualCollateralToLiquidate;</span>
<span id="L76"><span class="lineNum">      76</span>                 :             :     uint256 liquidationBonus;</span>
<span id="L77"><span class="lineNum">      77</span>                 :             :     uint256 healthFactor;</span>
<span id="L78"><span class="lineNum">      78</span>                 :             :     uint256 liquidationProtocolFeeAmount;</span>
<span id="L79"><span class="lineNum">      79</span>                 :             :     address collateralPriceSource;</span>
<span id="L80"><span class="lineNum">      80</span>                 :             :     address debtPriceSource;</span>
<span id="L81"><span class="lineNum">      81</span>                 :             :     IAToken collateralAToken;</span>
<span id="L82"><span class="lineNum">      82</span>                 :             :     DataTypes.ReserveCache debtReserveCache;</span>
<span id="L83"><span class="lineNum">      83</span>                 :             :   }</span>
<span id="L84"><span class="lineNum">      84</span>                 :             : </span>
<span id="L85"><span class="lineNum">      85</span>                 :             :   /**</span>
<span id="L86"><span class="lineNum">      86</span>                 :             :    * @notice Function to liquidate a position if its Health Factor drops below 1. The caller (liquidator)</span>
<span id="L87"><span class="lineNum">      87</span>                 :             :    * covers `debtToCover` amount of debt of the user getting liquidated, and receives</span>
<span id="L88"><span class="lineNum">      88</span>                 :             :    * a proportional amount of the `collateralAsset` plus a bonus to cover market risk</span>
<span id="L89"><span class="lineNum">      89</span>                 :             :    * @dev Emits the `LiquidationCall()` event</span>
<span id="L90"><span class="lineNum">      90</span>                 :             :    * @param reservesData The state of all the reserves</span>
<span id="L91"><span class="lineNum">      91</span>                 :             :    * @param reservesList The addresses of all the active reserves</span>
<span id="L92"><span class="lineNum">      92</span>                 :             :    * @param usersConfig The users configuration mapping that track the supplied/borrowed assets</span>
<span id="L93"><span class="lineNum">      93</span>                 :             :    * @param eModeCategories The configuration of all the efficiency mode categories</span>
<span id="L94"><span class="lineNum">      94</span>                 :             :    * @param params The additional parameters needed to execute the liquidation function</span>
<span id="L95"><span class="lineNum">      95</span>                 :             :    */</span>
<span id="L96"><span class="lineNum">      96</span>                 :<span class="tlaGNC tlaBgGNC">       11292 :   function executeLiquidationCall(</span></span>
<span id="L97"><span class="lineNum">      97</span>                 :             :     mapping(address =&gt; DataTypes.ReserveData) storage reservesData,</span>
<span id="L98"><span class="lineNum">      98</span>                 :             :     mapping(uint256 =&gt; address) storage reservesList,</span>
<span id="L99"><span class="lineNum">      99</span>                 :             :     mapping(address =&gt; DataTypes.UserConfigurationMap) storage usersConfig,</span>
<span id="L100"><span class="lineNum">     100</span>                 :             :     mapping(uint8 =&gt; DataTypes.EModeCategory) storage eModeCategories,</span>
<span id="L101"><span class="lineNum">     101</span>                 :             :     DataTypes.ExecuteLiquidationCallParams memory params</span>
<span id="L102"><span class="lineNum">     102</span>                 :             :   ) external {</span>
<span id="L103"><span class="lineNum">     103</span>                 :<span class="tlaGNC">       22584 :     LiquidationCallLocalVars memory vars;</span></span>
<span id="L104"><span class="lineNum">     104</span>                 :             : </span>
<span id="L105"><span class="lineNum">     105</span>                 :<span class="tlaGNC">       22584 :     DataTypes.ReserveData storage collateralReserve = reservesData[params.collateralAsset];</span></span>
<span id="L106"><span class="lineNum">     106</span>                 :<span class="tlaGNC">       22584 :     DataTypes.ReserveData storage debtReserve = reservesData[params.debtAsset];</span></span>
<span id="L107"><span class="lineNum">     107</span>                 :<span class="tlaGNC">       22584 :     DataTypes.UserConfigurationMap storage userConfig = usersConfig[params.user];</span></span>
<span id="L108"><span class="lineNum">     108</span>                 :<span class="tlaGNC">       22584 :     vars.debtReserveCache = debtReserve.cache();</span></span>
<span id="L109"><span class="lineNum">     109</span>                 :<span class="tlaGNC">       22584 :     debtReserve.updateState(vars.debtReserveCache);</span></span>
<span id="L110"><span class="lineNum">     110</span>                 :             : </span>
<span id="L111"><span class="lineNum">     111</span>                 :<span class="tlaGNC">       22584 :     (, , , , vars.healthFactor, ) = GenericLogic.calculateUserAccountData(</span></span>
<span id="L112"><span class="lineNum">     112</span>                 :             :       reservesData,</span>
<span id="L113"><span class="lineNum">     113</span>                 :             :       reservesList,</span>
<span id="L114"><span class="lineNum">     114</span>                 :             :       eModeCategories,</span>
<span id="L115"><span class="lineNum">     115</span>                 :             :       DataTypes.CalculateUserAccountDataParams({</span>
<span id="L116"><span class="lineNum">     116</span>                 :             :         userConfig: userConfig,</span>
<span id="L117"><span class="lineNum">     117</span>                 :             :         reservesCount: params.reservesCount,</span>
<span id="L118"><span class="lineNum">     118</span>                 :             :         user: params.user,</span>
<span id="L119"><span class="lineNum">     119</span>                 :             :         oracle: params.priceOracle,</span>
<span id="L120"><span class="lineNum">     120</span>                 :             :         userEModeCategory: params.userEModeCategory</span>
<span id="L121"><span class="lineNum">     121</span>                 :             :       })</span>
<span id="L122"><span class="lineNum">     122</span>                 :             :     );</span>
<span id="L123"><span class="lineNum">     123</span>                 :             : </span>
<span id="L124"><span class="lineNum">     124</span>                 :<span class="tlaGNC">       22584 :     (vars.userVariableDebt, vars.userTotalDebt, vars.actualDebtToLiquidate) = _calculateDebt(</span></span>
<span id="L125"><span class="lineNum">     125</span>                 :             :       vars.debtReserveCache,</span>
<span id="L126"><span class="lineNum">     126</span>                 :             :       params,</span>
<span id="L127"><span class="lineNum">     127</span>                 :             :       vars.healthFactor</span>
<span id="L128"><span class="lineNum">     128</span>                 :             :     );</span>
<span id="L129"><span class="lineNum">     129</span>                 :             : </span>
<span id="L130"><span class="lineNum">     130</span>                 :<span class="tlaGNC">       22584 :     ValidationLogic.validateLiquidationCall(</span></span>
<span id="L131"><span class="lineNum">     131</span>                 :             :       userConfig,</span>
<span id="L132"><span class="lineNum">     132</span>                 :             :       collateralReserve,</span>
<span id="L133"><span class="lineNum">     133</span>                 :             :       debtReserve,</span>
<span id="L134"><span class="lineNum">     134</span>                 :             :       DataTypes.ValidateLiquidationCallParams({</span>
<span id="L135"><span class="lineNum">     135</span>                 :             :         debtReserveCache: vars.debtReserveCache,</span>
<span id="L136"><span class="lineNum">     136</span>                 :             :         totalDebt: vars.userTotalDebt,</span>
<span id="L137"><span class="lineNum">     137</span>                 :             :         healthFactor: vars.healthFactor,</span>
<span id="L138"><span class="lineNum">     138</span>                 :             :         priceOracleSentinel: params.priceOracleSentinel</span>
<span id="L139"><span class="lineNum">     139</span>                 :             :       })</span>
<span id="L140"><span class="lineNum">     140</span>                 :             :     );</span>
<span id="L141"><span class="lineNum">     141</span>                 :             : </span>
<span id="L142"><span class="lineNum">     142</span>                 :<span class="tlaGNC">       12024 :     (</span></span>
<span id="L143"><span class="lineNum">     143</span>                 :             :       vars.collateralAToken,</span>
<span id="L144"><span class="lineNum">     144</span>                 :             :       vars.collateralPriceSource,</span>
<span id="L145"><span class="lineNum">     145</span>                 :             :       vars.debtPriceSource,</span>
<span id="L146"><span class="lineNum">     146</span>                 :             :       vars.liquidationBonus</span>
<span id="L147"><span class="lineNum">     147</span>                 :             :     ) = _getConfigurationData(eModeCategories, collateralReserve, params);</span>
<span id="L148"><span class="lineNum">     148</span>                 :             : </span>
<span id="L149"><span class="lineNum">     149</span>                 :<span class="tlaGNC">       12024 :     vars.userCollateralBalance = vars.collateralAToken.balanceOf(params.user);</span></span>
<span id="L150"><span class="lineNum">     150</span>                 :             : </span>
<span id="L151"><span class="lineNum">     151</span>                 :<span class="tlaGNC">       12024 :     (</span></span>
<span id="L152"><span class="lineNum">     152</span>                 :             :       vars.actualCollateralToLiquidate,</span>
<span id="L153"><span class="lineNum">     153</span>                 :             :       vars.actualDebtToLiquidate,</span>
<span id="L154"><span class="lineNum">     154</span>                 :             :       vars.liquidationProtocolFeeAmount</span>
<span id="L155"><span class="lineNum">     155</span>                 :             :     ) = _calculateAvailableCollateralToLiquidate(</span>
<span id="L156"><span class="lineNum">     156</span>                 :             :       collateralReserve,</span>
<span id="L157"><span class="lineNum">     157</span>                 :             :       vars.debtReserveCache,</span>
<span id="L158"><span class="lineNum">     158</span>                 :             :       vars.collateralPriceSource,</span>
<span id="L159"><span class="lineNum">     159</span>                 :             :       vars.debtPriceSource,</span>
<span id="L160"><span class="lineNum">     160</span>                 :             :       vars.actualDebtToLiquidate,</span>
<span id="L161"><span class="lineNum">     161</span>                 :             :       vars.userCollateralBalance,</span>
<span id="L162"><span class="lineNum">     162</span>                 :             :       vars.liquidationBonus,</span>
<span id="L163"><span class="lineNum">     163</span>                 :             :       IPriceOracleGetter(params.priceOracle)</span>
<span id="L164"><span class="lineNum">     164</span>                 :             :     );</span>
<span id="L165"><span class="lineNum">     165</span>                 :             : </span>
<span id="L166"><span class="lineNum">     166</span>                 :<span class="tlaGNC">       12024 :     if (vars.userTotalDebt == vars.actualDebtToLiquidate) {</span></span>
<span id="L167"><span class="lineNum">     167</span>                 :<span class="tlaGNC">           4 :       userConfig.setBorrowing(debtReserve.id, false);</span></span>
<span id="L168"><span class="lineNum">     168</span>                 :             :     }</span>
<span id="L169"><span class="lineNum">     169</span>                 :             : </span>
<span id="L170"><span class="lineNum">     170</span>                 :             :     // If the collateral being liquidated is equal to the user balance,</span>
<span id="L171"><span class="lineNum">     171</span>                 :             :     // we set the currency as not being used as collateral anymore</span>
<span id="L172"><span class="lineNum">     172</span>                 :             :     if (</span>
<span id="L173"><span class="lineNum">     173</span>                 :<span class="tlaGNC">       18036 :       vars.actualCollateralToLiquidate + vars.liquidationProtocolFeeAmount ==</span></span>
<span id="L174"><span class="lineNum">     174</span>                 :             :       vars.userCollateralBalance</span>
<span id="L175"><span class="lineNum">     175</span>                 :             :     ) {</span>
<span id="L176"><span class="lineNum">     176</span>                 :<span class="tlaGNC">          12 :       userConfig.setUsingAsCollateral(collateralReserve.id, false);</span></span>
<span id="L177"><span class="lineNum">     177</span>                 :<span class="tlaGNC">          12 :       emit ReserveUsedAsCollateralDisabled(params.collateralAsset, params.user);</span></span>
<span id="L178"><span class="lineNum">     178</span>                 :             :     }</span>
<span id="L179"><span class="lineNum">     179</span>                 :             : </span>
<span id="L180"><span class="lineNum">     180</span>                 :<span class="tlaGNC">       12024 :     _burnDebtTokens(params, vars);</span></span>
<span id="L181"><span class="lineNum">     181</span>                 :             : </span>
<span id="L182"><span class="lineNum">     182</span>                 :<span class="tlaGNC">       12024 :     debtReserve.updateInterestRatesAndVirtualBalance(</span></span>
<span id="L183"><span class="lineNum">     183</span>                 :             :       vars.debtReserveCache,</span>
<span id="L184"><span class="lineNum">     184</span>                 :             :       params.debtAsset,</span>
<span id="L185"><span class="lineNum">     185</span>                 :             :       vars.actualDebtToLiquidate,</span>
<span id="L186"><span class="lineNum">     186</span>                 :             :       0</span>
<span id="L187"><span class="lineNum">     187</span>                 :             :     );</span>
<span id="L188"><span class="lineNum">     188</span>                 :             : </span>
<span id="L189"><span class="lineNum">     189</span>                 :<span class="tlaGNC">       12024 :     IsolationModeLogic.updateIsolatedDebtIfIsolated(</span></span>
<span id="L190"><span class="lineNum">     190</span>                 :             :       reservesData,</span>
<span id="L191"><span class="lineNum">     191</span>                 :             :       reservesList,</span>
<span id="L192"><span class="lineNum">     192</span>                 :             :       userConfig,</span>
<span id="L193"><span class="lineNum">     193</span>                 :             :       vars.debtReserveCache,</span>
<span id="L194"><span class="lineNum">     194</span>                 :             :       vars.actualDebtToLiquidate</span>
<span id="L195"><span class="lineNum">     195</span>                 :             :     );</span>
<span id="L196"><span class="lineNum">     196</span>                 :             : </span>
<span id="L197"><span class="lineNum">     197</span>                 :<span class="tlaGNC">        6012 :     if (params.receiveAToken) {</span></span>
<span id="L198"><span class="lineNum">     198</span>                 :<span class="tlaGNC">           6 :       _liquidateATokens(reservesData, reservesList, usersConfig, collateralReserve, params, vars);</span></span>
<span id="L199"><span class="lineNum">     199</span>                 :             :     } else {</span>
<span id="L200"><span class="lineNum">     200</span>                 :<span class="tlaGNC">       12018 :       _burnCollateralATokens(collateralReserve, params, vars);</span></span>
<span id="L201"><span class="lineNum">     201</span>                 :             :     }</span>
<span id="L202"><span class="lineNum">     202</span>                 :             : </span>
<span id="L203"><span class="lineNum">     203</span>                 :             :     // Transfer fee to treasury if it is non-zero</span>
<span id="L204"><span class="lineNum">     204</span>                 :<span class="tlaGNC">       12024 :     if (vars.liquidationProtocolFeeAmount != 0) {</span></span>
<span id="L205"><span class="lineNum">     205</span>                 :<span class="tlaGNC">       18033 :       uint256 liquidityIndex = collateralReserve.getNormalizedIncome();</span></span>
<span id="L206"><span class="lineNum">     206</span>                 :<span class="tlaGNC">       18033 :       uint256 scaledDownLiquidationProtocolFee = vars.liquidationProtocolFeeAmount.rayDiv(</span></span>
<span id="L207"><span class="lineNum">     207</span>                 :             :         liquidityIndex</span>
<span id="L208"><span class="lineNum">     208</span>                 :             :       );</span>
<span id="L209"><span class="lineNum">     209</span>                 :<span class="tlaGNC">       18033 :       uint256 scaledDownUserBalance = vars.collateralAToken.scaledBalanceOf(params.user);</span></span>
<span id="L210"><span class="lineNum">     210</span>                 :             :       // To avoid trying to send more aTokens than available on balance, due to 1 wei imprecision</span>
<span id="L211"><span class="lineNum">     211</span>                 :<span class="tlaGNC">       12022 :       if (scaledDownLiquidationProtocolFee &gt; scaledDownUserBalance) {</span></span>
<span id="L212"><span class="lineNum">     212</span>                 :<span class="tlaUNC tlaBgUNC">           0 :         vars.liquidationProtocolFeeAmount = scaledDownUserBalance.rayMul(liquidityIndex);</span></span>
<span id="L213"><span class="lineNum">     213</span>                 :             :       }</span>
<span id="L214"><span class="lineNum">     214</span>                 :<span class="tlaGNC tlaBgGNC">       12022 :       vars.collateralAToken.transferOnLiquidation(</span></span>
<span id="L215"><span class="lineNum">     215</span>                 :             :         params.user,</span>
<span id="L216"><span class="lineNum">     216</span>                 :             :         vars.collateralAToken.RESERVE_TREASURY_ADDRESS(),</span>
<span id="L217"><span class="lineNum">     217</span>                 :             :         vars.liquidationProtocolFeeAmount</span>
<span id="L218"><span class="lineNum">     218</span>                 :             :       );</span>
<span id="L219"><span class="lineNum">     219</span>                 :             :     }</span>
<span id="L220"><span class="lineNum">     220</span>                 :             : </span>
<span id="L221"><span class="lineNum">     221</span>                 :             :     // Transfers the debt asset being repaid to the aToken, where the liquidity is kept</span>
<span id="L222"><span class="lineNum">     222</span>                 :<span class="tlaGNC">       12024 :     IERC20(params.debtAsset).safeTransferFrom(</span></span>
<span id="L223"><span class="lineNum">     223</span>                 :             :       msg.sender,</span>
<span id="L224"><span class="lineNum">     224</span>                 :             :       vars.debtReserveCache.aTokenAddress,</span>
<span id="L225"><span class="lineNum">     225</span>                 :             :       vars.actualDebtToLiquidate</span>
<span id="L226"><span class="lineNum">     226</span>                 :             :     );</span>
<span id="L227"><span class="lineNum">     227</span>                 :             : </span>
<span id="L228"><span class="lineNum">     228</span>                 :<span class="tlaGNC">       12024 :     IAToken(vars.debtReserveCache.aTokenAddress).handleRepayment(</span></span>
<span id="L229"><span class="lineNum">     229</span>                 :             :       msg.sender,</span>
<span id="L230"><span class="lineNum">     230</span>                 :             :       params.user,</span>
<span id="L231"><span class="lineNum">     231</span>                 :             :       vars.actualDebtToLiquidate</span>
<span id="L232"><span class="lineNum">     232</span>                 :             :     );</span>
<span id="L233"><span class="lineNum">     233</span>                 :             : </span>
<span id="L234"><span class="lineNum">     234</span>                 :<span class="tlaGNC">       12024 :     emit LiquidationCall(</span></span>
<span id="L235"><span class="lineNum">     235</span>                 :             :       params.collateralAsset,</span>
<span id="L236"><span class="lineNum">     236</span>                 :             :       params.debtAsset,</span>
<span id="L237"><span class="lineNum">     237</span>                 :             :       params.user,</span>
<span id="L238"><span class="lineNum">     238</span>                 :             :       vars.actualDebtToLiquidate,</span>
<span id="L239"><span class="lineNum">     239</span>                 :             :       vars.actualCollateralToLiquidate,</span>
<span id="L240"><span class="lineNum">     240</span>                 :             :       msg.sender,</span>
<span id="L241"><span class="lineNum">     241</span>                 :             :       params.receiveAToken</span>
<span id="L242"><span class="lineNum">     242</span>                 :             :     );</span>
<span id="L243"><span class="lineNum">     243</span>                 :             :   }</span>
<span id="L244"><span class="lineNum">     244</span>                 :             : </span>
<span id="L245"><span class="lineNum">     245</span>                 :             :   /**</span>
<span id="L246"><span class="lineNum">     246</span>                 :             :    * @notice Burns the collateral aTokens and transfers the underlying to the liquidator.</span>
<span id="L247"><span class="lineNum">     247</span>                 :             :    * @dev   The function also updates the state and the interest rate of the collateral reserve.</span>
<span id="L248"><span class="lineNum">     248</span>                 :             :    * @param collateralReserve The data of the collateral reserve</span>
<span id="L249"><span class="lineNum">     249</span>                 :             :    * @param params The additional parameters needed to execute the liquidation function</span>
<span id="L250"><span class="lineNum">     250</span>                 :             :    * @param vars The executeLiquidationCall() function local vars</span>
<span id="L251"><span class="lineNum">     251</span>                 :             :    */</span>
<span id="L252"><span class="lineNum">     252</span>                 :<span class="tlaGNC">        6009 :   function _burnCollateralATokens(</span></span>
<span id="L253"><span class="lineNum">     253</span>                 :             :     DataTypes.ReserveData storage collateralReserve,</span>
<span id="L254"><span class="lineNum">     254</span>                 :             :     DataTypes.ExecuteLiquidationCallParams memory params,</span>
<span id="L255"><span class="lineNum">     255</span>                 :             :     LiquidationCallLocalVars memory vars</span>
<span id="L256"><span class="lineNum">     256</span>                 :             :   ) internal {</span>
<span id="L257"><span class="lineNum">     257</span>                 :<span class="tlaGNC">       18027 :     DataTypes.ReserveCache memory collateralReserveCache = collateralReserve.cache();</span></span>
<span id="L258"><span class="lineNum">     258</span>                 :<span class="tlaGNC">       12018 :     collateralReserve.updateState(collateralReserveCache);</span></span>
<span id="L259"><span class="lineNum">     259</span>                 :<span class="tlaGNC">       12018 :     collateralReserve.updateInterestRatesAndVirtualBalance(</span></span>
<span id="L260"><span class="lineNum">     260</span>                 :             :       collateralReserveCache,</span>
<span id="L261"><span class="lineNum">     261</span>                 :             :       params.collateralAsset,</span>
<span id="L262"><span class="lineNum">     262</span>                 :             :       0,</span>
<span id="L263"><span class="lineNum">     263</span>                 :             :       vars.actualCollateralToLiquidate</span>
<span id="L264"><span class="lineNum">     264</span>                 :             :     );</span>
<span id="L265"><span class="lineNum">     265</span>                 :             : </span>
<span id="L266"><span class="lineNum">     266</span>                 :             :     // Burn the equivalent amount of aToken, sending the underlying to the liquidator</span>
<span id="L267"><span class="lineNum">     267</span>                 :<span class="tlaGNC">       12018 :     vars.collateralAToken.burn(</span></span>
<span id="L268"><span class="lineNum">     268</span>                 :             :       params.user,</span>
<span id="L269"><span class="lineNum">     269</span>                 :             :       msg.sender,</span>
<span id="L270"><span class="lineNum">     270</span>                 :             :       vars.actualCollateralToLiquidate,</span>
<span id="L271"><span class="lineNum">     271</span>                 :             :       collateralReserveCache.nextLiquidityIndex</span>
<span id="L272"><span class="lineNum">     272</span>                 :             :     );</span>
<span id="L273"><span class="lineNum">     273</span>                 :             :   }</span>
<span id="L274"><span class="lineNum">     274</span>                 :             : </span>
<span id="L275"><span class="lineNum">     275</span>                 :             :   /**</span>
<span id="L276"><span class="lineNum">     276</span>                 :             :    * @notice Liquidates the user aTokens by transferring them to the liquidator.</span>
<span id="L277"><span class="lineNum">     277</span>                 :             :    * @dev   The function also checks the state of the liquidator and activates the aToken as collateral</span>
<span id="L278"><span class="lineNum">     278</span>                 :             :    *        as in standard transfers if the isolation mode constraints are respected.</span>
<span id="L279"><span class="lineNum">     279</span>                 :             :    * @param reservesData The state of all the reserves</span>
<span id="L280"><span class="lineNum">     280</span>                 :             :    * @param reservesList The addresses of all the active reserves</span>
<span id="L281"><span class="lineNum">     281</span>                 :             :    * @param usersConfig The users configuration mapping that track the supplied/borrowed assets</span>
<span id="L282"><span class="lineNum">     282</span>                 :             :    * @param collateralReserve The data of the collateral reserve</span>
<span id="L283"><span class="lineNum">     283</span>                 :             :    * @param params The additional parameters needed to execute the liquidation function</span>
<span id="L284"><span class="lineNum">     284</span>                 :             :    * @param vars The executeLiquidationCall() function local vars</span>
<span id="L285"><span class="lineNum">     285</span>                 :             :    */</span>
<span id="L286"><span class="lineNum">     286</span>                 :<span class="tlaGNC">           3 :   function _liquidateATokens(</span></span>
<span id="L287"><span class="lineNum">     287</span>                 :             :     mapping(address =&gt; DataTypes.ReserveData) storage reservesData,</span>
<span id="L288"><span class="lineNum">     288</span>                 :             :     mapping(uint256 =&gt; address) storage reservesList,</span>
<span id="L289"><span class="lineNum">     289</span>                 :             :     mapping(address =&gt; DataTypes.UserConfigurationMap) storage usersConfig,</span>
<span id="L290"><span class="lineNum">     290</span>                 :             :     DataTypes.ReserveData storage collateralReserve,</span>
<span id="L291"><span class="lineNum">     291</span>                 :             :     DataTypes.ExecuteLiquidationCallParams memory params,</span>
<span id="L292"><span class="lineNum">     292</span>                 :             :     LiquidationCallLocalVars memory vars</span>
<span id="L293"><span class="lineNum">     293</span>                 :             :   ) internal {</span>
<span id="L294"><span class="lineNum">     294</span>                 :<span class="tlaGNC">           9 :     uint256 liquidatorPreviousATokenBalance = IERC20(vars.collateralAToken).balanceOf(msg.sender);</span></span>
<span id="L295"><span class="lineNum">     295</span>                 :<span class="tlaGNC">           6 :     vars.collateralAToken.transferOnLiquidation(</span></span>
<span id="L296"><span class="lineNum">     296</span>                 :             :       params.user,</span>
<span id="L297"><span class="lineNum">     297</span>                 :             :       msg.sender,</span>
<span id="L298"><span class="lineNum">     298</span>                 :             :       vars.actualCollateralToLiquidate</span>
<span id="L299"><span class="lineNum">     299</span>                 :             :     );</span>
<span id="L300"><span class="lineNum">     300</span>                 :             : </span>
<span id="L301"><span class="lineNum">     301</span>                 :<span class="tlaGNC">           6 :     if (liquidatorPreviousATokenBalance == 0) {</span></span>
<span id="L302"><span class="lineNum">     302</span>                 :<span class="tlaGNC">           6 :       DataTypes.UserConfigurationMap storage liquidatorConfig = usersConfig[msg.sender];</span></span>
<span id="L303"><span class="lineNum">     303</span>                 :             :       if (</span>
<span id="L304"><span class="lineNum">     304</span>                 :<span class="tlaGNC">           6 :         ValidationLogic.validateAutomaticUseAsCollateral(</span></span>
<span id="L305"><span class="lineNum">     305</span>                 :             :           reservesData,</span>
<span id="L306"><span class="lineNum">     306</span>                 :             :           reservesList,</span>
<span id="L307"><span class="lineNum">     307</span>                 :             :           liquidatorConfig,</span>
<span id="L308"><span class="lineNum">     308</span>                 :             :           collateralReserve.configuration,</span>
<span id="L309"><span class="lineNum">     309</span>                 :             :           collateralReserve.aTokenAddress</span>
<span id="L310"><span class="lineNum">     310</span>                 :             :         )</span>
<span id="L311"><span class="lineNum">     311</span>                 :             :       ) {</span>
<span id="L312"><span class="lineNum">     312</span>                 :<span class="tlaGNC">           6 :         liquidatorConfig.setUsingAsCollateral(collateralReserve.id, true);</span></span>
<span id="L313"><span class="lineNum">     313</span>                 :<span class="tlaGNC">           6 :         emit ReserveUsedAsCollateralEnabled(params.collateralAsset, msg.sender);</span></span>
<span id="L314"><span class="lineNum">     314</span>                 :             :       }</span>
<span id="L315"><span class="lineNum">     315</span>                 :             :     }</span>
<span id="L316"><span class="lineNum">     316</span>                 :             :   }</span>
<span id="L317"><span class="lineNum">     317</span>                 :             : </span>
<span id="L318"><span class="lineNum">     318</span>                 :             :   /**</span>
<span id="L319"><span class="lineNum">     319</span>                 :             :    * @notice Burns the debt tokens of the user up to the amount being repaid by the liquidator.</span>
<span id="L320"><span class="lineNum">     320</span>                 :             :    * @dev The function alters the `debtReserveCache` state in `vars` to update the debt related data.</span>
<span id="L321"><span class="lineNum">     321</span>                 :             :    * @param params The additional parameters needed to execute the liquidation function</span>
<span id="L322"><span class="lineNum">     322</span>                 :             :    * @param vars the executeLiquidationCall() function local vars</span>
<span id="L323"><span class="lineNum">     323</span>                 :             :    */</span>
<span id="L324"><span class="lineNum">     324</span>                 :<span class="tlaGNC">        6012 :   function _burnDebtTokens(</span></span>
<span id="L325"><span class="lineNum">     325</span>                 :             :     DataTypes.ExecuteLiquidationCallParams memory params,</span>
<span id="L326"><span class="lineNum">     326</span>                 :             :     LiquidationCallLocalVars memory vars</span>
<span id="L327"><span class="lineNum">     327</span>                 :             :   ) internal {</span>
<span id="L328"><span class="lineNum">     328</span>                 :<span class="tlaGNC">       12024 :     if (vars.userVariableDebt &gt;= vars.actualDebtToLiquidate) {</span></span>
<span id="L329"><span class="lineNum">     329</span>                 :<span class="tlaGNC">       12024 :       vars.debtReserveCache.nextScaledVariableDebt = IVariableDebtToken(</span></span>
<span id="L330"><span class="lineNum">     330</span>                 :             :         vars.debtReserveCache.variableDebtTokenAddress</span>
<span id="L331"><span class="lineNum">     331</span>                 :             :       ).burn(</span>
<span id="L332"><span class="lineNum">     332</span>                 :             :           params.user,</span>
<span id="L333"><span class="lineNum">     333</span>                 :             :           vars.actualDebtToLiquidate,</span>
<span id="L334"><span class="lineNum">     334</span>                 :             :           vars.debtReserveCache.nextVariableBorrowIndex</span>
<span id="L335"><span class="lineNum">     335</span>                 :             :         );</span>
<span id="L336"><span class="lineNum">     336</span>                 :             :     } else {</span>
<span id="L337"><span class="lineNum">     337</span>                 :             :       // If the user doesn't have variable debt, no need to try to burn variable debt tokens</span>
<span id="L338"><span class="lineNum">     338</span>                 :<span class="tlaUNC tlaBgUNC">           0 :       if (vars.userVariableDebt != 0) {</span></span>
<span id="L339"><span class="lineNum">     339</span>                 :<span class="tlaUNC">           0 :         vars.debtReserveCache.nextScaledVariableDebt = IVariableDebtToken(</span></span>
<span id="L340"><span class="lineNum">     340</span>                 :             :           vars.debtReserveCache.variableDebtTokenAddress</span>
<span id="L341"><span class="lineNum">     341</span>                 :             :         ).burn(params.user, vars.userVariableDebt, vars.debtReserveCache.nextVariableBorrowIndex);</span>
<span id="L342"><span class="lineNum">     342</span>                 :             :       }</span>
<span id="L343"><span class="lineNum">     343</span>                 :<span class="tlaUNC">           0 :       (</span></span>
<span id="L344"><span class="lineNum">     344</span>                 :             :         vars.debtReserveCache.nextTotalStableDebt,</span>
<span id="L345"><span class="lineNum">     345</span>                 :             :         vars.debtReserveCache.nextAvgStableBorrowRate</span>
<span id="L346"><span class="lineNum">     346</span>                 :             :       ) = IStableDebtToken(vars.debtReserveCache.stableDebtTokenAddress).burn(</span>
<span id="L347"><span class="lineNum">     347</span>                 :             :         params.user,</span>
<span id="L348"><span class="lineNum">     348</span>                 :             :         vars.actualDebtToLiquidate - vars.userVariableDebt</span>
<span id="L349"><span class="lineNum">     349</span>                 :             :       );</span>
<span id="L350"><span class="lineNum">     350</span>                 :             :     }</span>
<span id="L351"><span class="lineNum">     351</span>                 :             :   }</span>
<span id="L352"><span class="lineNum">     352</span>                 :             : </span>
<span id="L353"><span class="lineNum">     353</span>                 :             :   /**</span>
<span id="L354"><span class="lineNum">     354</span>                 :             :    * @notice Calculates the total debt of the user and the actual amount to liquidate depending on the health factor</span>
<span id="L355"><span class="lineNum">     355</span>                 :             :    * and corresponding close factor.</span>
<span id="L356"><span class="lineNum">     356</span>                 :             :    * @dev If the Health Factor is below CLOSE_FACTOR_HF_THRESHOLD, the close factor is increased to MAX_LIQUIDATION_CLOSE_FACTOR</span>
<span id="L357"><span class="lineNum">     357</span>                 :             :    * @param debtReserveCache The reserve cache data object of the debt reserve</span>
<span id="L358"><span class="lineNum">     358</span>                 :             :    * @param params The additional parameters needed to execute the liquidation function</span>
<span id="L359"><span class="lineNum">     359</span>                 :             :    * @param healthFactor The health factor of the position</span>
<span id="L360"><span class="lineNum">     360</span>                 :             :    * @return The variable debt of the user</span>
<span id="L361"><span class="lineNum">     361</span>                 :             :    * @return The total debt of the user</span>
<span id="L362"><span class="lineNum">     362</span>                 :             :    * @return The actual debt to liquidate as a function of the closeFactor</span>
<span id="L363"><span class="lineNum">     363</span>                 :             :    */</span>
<span id="L364"><span class="lineNum">     364</span>                 :<span class="tlaGNC tlaBgGNC">       11292 :   function _calculateDebt(</span></span>
<span id="L365"><span class="lineNum">     365</span>                 :             :     DataTypes.ReserveCache memory debtReserveCache,</span>
<span id="L366"><span class="lineNum">     366</span>                 :             :     DataTypes.ExecuteLiquidationCallParams memory params,</span>
<span id="L367"><span class="lineNum">     367</span>                 :             :     uint256 healthFactor</span>
<span id="L368"><span class="lineNum">     368</span>                 :             :   ) internal view returns (uint256, uint256, uint256) {</span>
<span id="L369"><span class="lineNum">     369</span>                 :<span class="tlaGNC">       33876 :     (uint256 userStableDebt, uint256 userVariableDebt) = Helpers.getUserCurrentDebt(</span></span>
<span id="L370"><span class="lineNum">     370</span>                 :             :       params.user,</span>
<span id="L371"><span class="lineNum">     371</span>                 :             :       debtReserveCache</span>
<span id="L372"><span class="lineNum">     372</span>                 :             :     );</span>
<span id="L373"><span class="lineNum">     373</span>                 :             : </span>
<span id="L374"><span class="lineNum">     374</span>                 :<span class="tlaGNC">       33876 :     uint256 userTotalDebt = userStableDebt + userVariableDebt;</span></span>
<span id="L375"><span class="lineNum">     375</span>                 :             : </span>
<span id="L376"><span class="lineNum">     376</span>                 :<span class="tlaGNC">       33876 :     uint256 closeFactor = healthFactor &gt; CLOSE_FACTOR_HF_THRESHOLD</span></span>
<span id="L377"><span class="lineNum">     377</span>                 :             :       ? DEFAULT_LIQUIDATION_CLOSE_FACTOR</span>
<span id="L378"><span class="lineNum">     378</span>                 :             :       : MAX_LIQUIDATION_CLOSE_FACTOR;</span>
<span id="L379"><span class="lineNum">     379</span>                 :             : </span>
<span id="L380"><span class="lineNum">     380</span>                 :<span class="tlaGNC">       33876 :     uint256 maxLiquidatableDebt = userTotalDebt.percentMul(closeFactor);</span></span>
<span id="L381"><span class="lineNum">     381</span>                 :             : </span>
<span id="L382"><span class="lineNum">     382</span>                 :<span class="tlaGNC">       33876 :     uint256 actualDebtToLiquidate = params.debtToCover &gt; maxLiquidatableDebt</span></span>
<span id="L383"><span class="lineNum">     383</span>                 :             :       ? maxLiquidatableDebt</span>
<span id="L384"><span class="lineNum">     384</span>                 :             :       : params.debtToCover;</span>
<span id="L385"><span class="lineNum">     385</span>                 :             : </span>
<span id="L386"><span class="lineNum">     386</span>                 :<span class="tlaGNC">       22584 :     return (userVariableDebt, userTotalDebt, actualDebtToLiquidate);</span></span>
<span id="L387"><span class="lineNum">     387</span>                 :             :   }</span>
<span id="L388"><span class="lineNum">     388</span>                 :             : </span>
<span id="L389"><span class="lineNum">     389</span>                 :             :   /**</span>
<span id="L390"><span class="lineNum">     390</span>                 :             :    * @notice Returns the configuration data for the debt and the collateral reserves.</span>
<span id="L391"><span class="lineNum">     391</span>                 :             :    * @param eModeCategories The configuration of all the efficiency mode categories</span>
<span id="L392"><span class="lineNum">     392</span>                 :             :    * @param collateralReserve The data of the collateral reserve</span>
<span id="L393"><span class="lineNum">     393</span>                 :             :    * @param params The additional parameters needed to execute the liquidation function</span>
<span id="L394"><span class="lineNum">     394</span>                 :             :    * @return The collateral aToken</span>
<span id="L395"><span class="lineNum">     395</span>                 :             :    * @return The address to use as price source for the collateral</span>
<span id="L396"><span class="lineNum">     396</span>                 :             :    * @return The address to use as price source for the debt</span>
<span id="L397"><span class="lineNum">     397</span>                 :             :    * @return The liquidation bonus to apply to the collateral</span>
<span id="L398"><span class="lineNum">     398</span>                 :             :    */</span>
<span id="L399"><span class="lineNum">     399</span>                 :<span class="tlaGNC">        6012 :   function _getConfigurationData(</span></span>
<span id="L400"><span class="lineNum">     400</span>                 :             :     mapping(uint8 =&gt; DataTypes.EModeCategory) storage eModeCategories,</span>
<span id="L401"><span class="lineNum">     401</span>                 :             :     DataTypes.ReserveData storage collateralReserve,</span>
<span id="L402"><span class="lineNum">     402</span>                 :             :     DataTypes.ExecuteLiquidationCallParams memory params</span>
<span id="L403"><span class="lineNum">     403</span>                 :             :   ) internal view returns (IAToken, address, address, uint256) {</span>
<span id="L404"><span class="lineNum">     404</span>                 :<span class="tlaGNC">       18036 :     IAToken collateralAToken = IAToken(collateralReserve.aTokenAddress);</span></span>
<span id="L405"><span class="lineNum">     405</span>                 :<span class="tlaGNC">       18036 :     uint256 liquidationBonus = collateralReserve.configuration.getLiquidationBonus();</span></span>
<span id="L406"><span class="lineNum">     406</span>                 :             : </span>
<span id="L407"><span class="lineNum">     407</span>                 :<span class="tlaGNC">       12024 :     address collateralPriceSource = params.collateralAsset;</span></span>
<span id="L408"><span class="lineNum">     408</span>                 :<span class="tlaGNC">       12024 :     address debtPriceSource = params.debtAsset;</span></span>
<span id="L409"><span class="lineNum">     409</span>                 :             : </span>
<span id="L410"><span class="lineNum">     410</span>                 :<span class="tlaGNC">       12024 :     if (params.userEModeCategory != 0) {</span></span>
<span id="L411"><span class="lineNum">     411</span>                 :<span class="tlaGNC">           4 :       address eModePriceSource = eModeCategories[params.userEModeCategory].priceSource;</span></span>
<span id="L412"><span class="lineNum">     412</span>                 :             : </span>
<span id="L413"><span class="lineNum">     413</span>                 :             :       if (</span>
<span id="L414"><span class="lineNum">     414</span>                 :<span class="tlaGNC">           4 :         EModeLogic.isInEModeCategory(</span></span>
<span id="L415"><span class="lineNum">     415</span>                 :             :           params.userEModeCategory,</span>
<span id="L416"><span class="lineNum">     416</span>                 :             :           collateralReserve.configuration.getEModeCategory()</span>
<span id="L417"><span class="lineNum">     417</span>                 :             :         )</span>
<span id="L418"><span class="lineNum">     418</span>                 :             :       ) {</span>
<span id="L419"><span class="lineNum">     419</span>                 :<span class="tlaGNC">           4 :         liquidationBonus = eModeCategories[params.userEModeCategory].liquidationBonus;</span></span>
<span id="L420"><span class="lineNum">     420</span>                 :             : </span>
<span id="L421"><span class="lineNum">     421</span>                 :<span class="tlaGNC">           6 :         if (eModePriceSource != address(0)) {</span></span>
<span id="L422"><span class="lineNum">     422</span>                 :<span class="tlaGNC">           2 :           collateralPriceSource = eModePriceSource;</span></span>
<span id="L423"><span class="lineNum">     423</span>                 :             :         }</span>
<span id="L424"><span class="lineNum">     424</span>                 :             :       }</span>
<span id="L425"><span class="lineNum">     425</span>                 :             : </span>
<span id="L426"><span class="lineNum">     426</span>                 :             :       // when in eMode, debt will always be in the same eMode category, can skip matching category check</span>
<span id="L427"><span class="lineNum">     427</span>                 :<span class="tlaGNC">           6 :       if (eModePriceSource != address(0)) {</span></span>
<span id="L428"><span class="lineNum">     428</span>                 :<span class="tlaGNC">           2 :         debtPriceSource = eModePriceSource;</span></span>
<span id="L429"><span class="lineNum">     429</span>                 :             :       }</span>
<span id="L430"><span class="lineNum">     430</span>                 :             :     }</span>
<span id="L431"><span class="lineNum">     431</span>                 :             : </span>
<span id="L432"><span class="lineNum">     432</span>                 :<span class="tlaGNC">       12024 :     return (collateralAToken, collateralPriceSource, debtPriceSource, liquidationBonus);</span></span>
<span id="L433"><span class="lineNum">     433</span>                 :             :   }</span>
<span id="L434"><span class="lineNum">     434</span>                 :             : </span>
<span id="L435"><span class="lineNum">     435</span>                 :             :   struct AvailableCollateralToLiquidateLocalVars {</span>
<span id="L436"><span class="lineNum">     436</span>                 :             :     uint256 collateralPrice;</span>
<span id="L437"><span class="lineNum">     437</span>                 :             :     uint256 debtAssetPrice;</span>
<span id="L438"><span class="lineNum">     438</span>                 :             :     uint256 maxCollateralToLiquidate;</span>
<span id="L439"><span class="lineNum">     439</span>                 :             :     uint256 baseCollateral;</span>
<span id="L440"><span class="lineNum">     440</span>                 :             :     uint256 bonusCollateral;</span>
<span id="L441"><span class="lineNum">     441</span>                 :             :     uint256 debtAssetDecimals;</span>
<span id="L442"><span class="lineNum">     442</span>                 :             :     uint256 collateralDecimals;</span>
<span id="L443"><span class="lineNum">     443</span>                 :             :     uint256 collateralAssetUnit;</span>
<span id="L444"><span class="lineNum">     444</span>                 :             :     uint256 debtAssetUnit;</span>
<span id="L445"><span class="lineNum">     445</span>                 :             :     uint256 collateralAmount;</span>
<span id="L446"><span class="lineNum">     446</span>                 :             :     uint256 debtAmountNeeded;</span>
<span id="L447"><span class="lineNum">     447</span>                 :             :     uint256 liquidationProtocolFeePercentage;</span>
<span id="L448"><span class="lineNum">     448</span>                 :             :     uint256 liquidationProtocolFee;</span>
<span id="L449"><span class="lineNum">     449</span>                 :             :   }</span>
<span id="L450"><span class="lineNum">     450</span>                 :             : </span>
<span id="L451"><span class="lineNum">     451</span>                 :             :   /**</span>
<span id="L452"><span class="lineNum">     452</span>                 :             :    * @notice Calculates how much of a specific collateral can be liquidated, given</span>
<span id="L453"><span class="lineNum">     453</span>                 :             :    * a certain amount of debt asset.</span>
<span id="L454"><span class="lineNum">     454</span>                 :             :    * @dev This function needs to be called after all the checks to validate the liquidation have been performed,</span>
<span id="L455"><span class="lineNum">     455</span>                 :             :    *   otherwise it might fail.</span>
<span id="L456"><span class="lineNum">     456</span>                 :             :    * @param collateralReserve The data of the collateral reserve</span>
<span id="L457"><span class="lineNum">     457</span>                 :             :    * @param debtReserveCache The cached data of the debt reserve</span>
<span id="L458"><span class="lineNum">     458</span>                 :             :    * @param collateralAsset The address of the underlying asset used as collateral, to receive as result of the liquidation</span>
<span id="L459"><span class="lineNum">     459</span>                 :             :    * @param debtAsset The address of the underlying borrowed asset to be repaid with the liquidation</span>
<span id="L460"><span class="lineNum">     460</span>                 :             :    * @param debtToCover The debt amount of borrowed `asset` the liquidator wants to cover</span>
<span id="L461"><span class="lineNum">     461</span>                 :             :    * @param userCollateralBalance The collateral balance for the specific `collateralAsset` of the user being liquidated</span>
<span id="L462"><span class="lineNum">     462</span>                 :             :    * @param liquidationBonus The collateral bonus percentage to receive as result of the liquidation</span>
<span id="L463"><span class="lineNum">     463</span>                 :             :    * @return The maximum amount that is possible to liquidate given all the liquidation constraints (user balance, close factor)</span>
<span id="L464"><span class="lineNum">     464</span>                 :             :    * @return The amount to repay with the liquidation</span>
<span id="L465"><span class="lineNum">     465</span>                 :             :    * @return The fee taken from the liquidation bonus amount to be paid to the protocol</span>
<span id="L466"><span class="lineNum">     466</span>                 :             :    */</span>
<span id="L467"><span class="lineNum">     467</span>                 :<span class="tlaGNC">        9023 :   function _calculateAvailableCollateralToLiquidate(</span></span>
<span id="L468"><span class="lineNum">     468</span>                 :             :     DataTypes.ReserveData storage collateralReserve,</span>
<span id="L469"><span class="lineNum">     469</span>                 :             :     DataTypes.ReserveCache memory debtReserveCache,</span>
<span id="L470"><span class="lineNum">     470</span>                 :             :     address collateralAsset,</span>
<span id="L471"><span class="lineNum">     471</span>                 :             :     address debtAsset,</span>
<span id="L472"><span class="lineNum">     472</span>                 :             :     uint256 debtToCover,</span>
<span id="L473"><span class="lineNum">     473</span>                 :             :     uint256 userCollateralBalance,</span>
<span id="L474"><span class="lineNum">     474</span>                 :             :     uint256 liquidationBonus,</span>
<span id="L475"><span class="lineNum">     475</span>                 :             :     IPriceOracleGetter oracle</span>
<span id="L476"><span class="lineNum">     476</span>                 :             :   ) internal view returns (uint256, uint256, uint256) {</span>
<span id="L477"><span class="lineNum">     477</span>                 :<span class="tlaGNC">       18046 :     AvailableCollateralToLiquidateLocalVars memory vars;</span></span>
<span id="L478"><span class="lineNum">     478</span>                 :             : </span>
<span id="L479"><span class="lineNum">     479</span>                 :<span class="tlaGNC">       18046 :     vars.collateralPrice = oracle.getAssetPrice(collateralAsset);</span></span>
<span id="L480"><span class="lineNum">     480</span>                 :<span class="tlaGNC">       18046 :     vars.debtAssetPrice = oracle.getAssetPrice(debtAsset);</span></span>
<span id="L481"><span class="lineNum">     481</span>                 :             : </span>
<span id="L482"><span class="lineNum">     482</span>                 :<span class="tlaGNC">       18046 :     vars.collateralDecimals = collateralReserve.configuration.getDecimals();</span></span>
<span id="L483"><span class="lineNum">     483</span>                 :<span class="tlaGNC">       18046 :     vars.debtAssetDecimals = debtReserveCache.reserveConfiguration.getDecimals();</span></span>
<span id="L484"><span class="lineNum">     484</span>                 :             : </span>
<span id="L485"><span class="lineNum">     485</span>                 :             :     unchecked {</span>
<span id="L486"><span class="lineNum">     486</span>                 :<span class="tlaGNC">       18046 :       vars.collateralAssetUnit = 10 ** vars.collateralDecimals;</span></span>
<span id="L487"><span class="lineNum">     487</span>                 :<span class="tlaGNC">       18046 :       vars.debtAssetUnit = 10 ** vars.debtAssetDecimals;</span></span>
<span id="L488"><span class="lineNum">     488</span>                 :             :     }</span>
<span id="L489"><span class="lineNum">     489</span>                 :             : </span>
<span id="L490"><span class="lineNum">     490</span>                 :<span class="tlaGNC">       18046 :     vars.liquidationProtocolFeePercentage = collateralReserve</span></span>
<span id="L491"><span class="lineNum">     491</span>                 :             :       .configuration</span>
<span id="L492"><span class="lineNum">     492</span>                 :             :       .getLiquidationProtocolFee();</span>
<span id="L493"><span class="lineNum">     493</span>                 :             : </span>
<span id="L494"><span class="lineNum">     494</span>                 :             :     // This is the base collateral to liquidate based on the given debt to cover</span>
<span id="L495"><span class="lineNum">     495</span>                 :<span class="tlaGNC">       18046 :     vars.baseCollateral =</span></span>
<span id="L496"><span class="lineNum">     496</span>                 :             :       ((vars.debtAssetPrice * debtToCover * vars.collateralAssetUnit)) /</span>
<span id="L497"><span class="lineNum">     497</span>                 :             :       (vars.collateralPrice * vars.debtAssetUnit);</span>
<span id="L498"><span class="lineNum">     498</span>                 :             : </span>
<span id="L499"><span class="lineNum">     499</span>                 :<span class="tlaGNC">       18046 :     vars.maxCollateralToLiquidate = vars.baseCollateral.percentMul(liquidationBonus);</span></span>
<span id="L500"><span class="lineNum">     500</span>                 :             : </span>
<span id="L501"><span class="lineNum">     501</span>                 :<span class="tlaGNC">       18046 :     if (vars.maxCollateralToLiquidate &gt; userCollateralBalance) {</span></span>
<span id="L502"><span class="lineNum">     502</span>                 :<span class="tlaGNC">          22 :       vars.collateralAmount = userCollateralBalance;</span></span>
<span id="L503"><span class="lineNum">     503</span>                 :<span class="tlaGNC">          22 :       vars.debtAmountNeeded = ((vars.collateralPrice * vars.collateralAmount * vars.debtAssetUnit) /</span></span>
<span id="L504"><span class="lineNum">     504</span>                 :             :         (vars.debtAssetPrice * vars.collateralAssetUnit)).percentDiv(liquidationBonus);</span>
<span id="L505"><span class="lineNum">     505</span>                 :             :     } else {</span>
<span id="L506"><span class="lineNum">     506</span>                 :<span class="tlaGNC">       18024 :       vars.collateralAmount = vars.maxCollateralToLiquidate;</span></span>
<span id="L507"><span class="lineNum">     507</span>                 :<span class="tlaGNC">       18024 :       vars.debtAmountNeeded = debtToCover;</span></span>
<span id="L508"><span class="lineNum">     508</span>                 :             :     }</span>
<span id="L509"><span class="lineNum">     509</span>                 :             : </span>
<span id="L510"><span class="lineNum">     510</span>                 :<span class="tlaGNC">       18046 :     if (vars.liquidationProtocolFeePercentage != 0) {</span></span>
<span id="L511"><span class="lineNum">     511</span>                 :<span class="tlaGNC">       18042 :       vars.bonusCollateral =</span></span>
<span id="L512"><span class="lineNum">     512</span>                 :             :         vars.collateralAmount -</span>
<span id="L513"><span class="lineNum">     513</span>                 :             :         vars.collateralAmount.percentDiv(liquidationBonus);</span>
<span id="L514"><span class="lineNum">     514</span>                 :             : </span>
<span id="L515"><span class="lineNum">     515</span>                 :<span class="tlaGNC">       18042 :       vars.liquidationProtocolFee = vars.bonusCollateral.percentMul(</span></span>
<span id="L516"><span class="lineNum">     516</span>                 :             :         vars.liquidationProtocolFeePercentage</span>
<span id="L517"><span class="lineNum">     517</span>                 :             :       );</span>
<span id="L518"><span class="lineNum">     518</span>                 :             : </span>
<span id="L519"><span class="lineNum">     519</span>                 :<span class="tlaGNC">       18042 :       return (</span></span>
<span id="L520"><span class="lineNum">     520</span>                 :             :         vars.collateralAmount - vars.liquidationProtocolFee,</span>
<span id="L521"><span class="lineNum">     521</span>                 :             :         vars.debtAmountNeeded,</span>
<span id="L522"><span class="lineNum">     522</span>                 :             :         vars.liquidationProtocolFee</span>
<span id="L523"><span class="lineNum">     523</span>                 :             :       );</span>
<span id="L524"><span class="lineNum">     524</span>                 :             :     } else {</span>
<span id="L525"><span class="lineNum">     525</span>                 :<span class="tlaGNC">           4 :       return (vars.collateralAmount, vars.debtAmountNeeded, 0);</span></span>
<span id="L526"><span class="lineNum">     526</span>                 :             :     }</span>
<span id="L527"><span class="lineNum">     527</span>                 :             :   }</span>
<span id="L528"><span class="lineNum">     528</span>                 :             : }</span>
        </pre>
              </td>
            </tr>
          </table>
          <br>

          <table width="100%" border=0 cellspacing=0 cellpadding=0>
            <tr><td class="ruler"><img src="../../../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
            <tr><td class="versionInfo">Generated by: <a href="https://github.com//linux-test-project/lcov" target="_parent">LCOV version 2.0-1</a></td></tr>
          </table>
          <br>

</body>
</html>
